Wasm 3.0 Offers New Way to Handle JavaScript Strings
thenewstack.ioยท17m
๐Ÿ›ก๏ธWASM Sandboxing
Are We Chasing Language Hype Over Solving Real Problems?
dayvster.comยท4hยท
๐Ÿ“Code Metrics
When AI Joins the Team: Guardrails, Roles, and the Work That Matters
dev.toยท50mยท
Discuss: DEV
โš™๏ธProof Engineering
Bazel and glibc versions
blogsystem5.substack.comยท23hยท
Discuss: Substack
๐Ÿ”—Dependency Resolution
The Landscape of Arabic Large Language Models
cacm.acm.orgยท1d
๐Ÿค–Grammar Induction
From lab to lecture hall: The rise of software in academia
softwareheritage.orgยท1d
๐Ÿ”“Open Source Software
The Rising Costs of Vibe Coding: Why AI-Aided Programming Isn't Cheap Anymore
lightcapai.medium.comยท22hยท
Discuss: Hacker News
โšกProof Automation
ECMAScript 2025 Language Specification
262.ecma-international.orgยท1dยท
Discuss: Hacker News
๐ŸŽฏGradual Typing
XTXMarkets/ternfs: A distributed file system
github.comยท8h
๐Ÿ—„๏ธFile Systems
RAG talk recap from DevConf.US 2025
major.ioยท14h
๐Ÿค–Archive Automation
Everything you know is wrong
lawrencecpaulson.github.ioยท14h
๐ŸงฎTheorem Proving
Enter Sandbox 30: Static Analysis gone wrong
hexacorn.comยท16h
๐Ÿ”Binary Forensics
Git: Introduce Rust and announce that it will become mandatorty
lore.kernel.orgยท2hยท
๐Ÿฆ€Rust Macros
Understanding legacy application rewrite vs. refactor tradeoffs
testdouble.comยท3d
๐Ÿฆ‹Format Evolution
Vogte: The Agentic TUI for Go codebases ;)
github.comยท12hยท
๐Ÿ”“Open Source Software
Codeminer42 Dev Weekly #79
blog.codeminer42.comยท23h
๐Ÿ’ฟZFS Archaeology
Why Do LLMs Design Mediocre Architecture?
recurse.mlยท23hยท
๐ŸŒ€Brotli Internals
Replay - Time Travel Browser DevTools
replay.ioยท37mยท
Discuss: Hacker News
๐Ÿ‘๏ธSystem Observability
Moving off of TypeScript, 2.5M lines of code
engineering.usemotion.comยท2dยท
Discuss: Hacker News
๐ŸŽฏGradual Typing